;;; bw-large-b
;;;
;;; Initial:  3/2/1   11/10/5/4/   9/8/7/6
;;; Goal:     1/5/10/  8/9/4/   2/3/11/7/6
;;; Length:   18

(define (problem bw-large-b)
  (:domain prodigy-bw)
  (:objects 1 2 3 4 5 6 7 8 9 10 11)
  (:init (arm-empty)
	 (on 3 2)
	 (on 2 1)
	 (on-table 1)
	 (on 11 10)
	 (on 10 5)
	 (on 5 4)
	 (on-table 4)
	 (on 9 8)
	 (on 8 7)
	 (on 7 6)
	 (on-table 6)
	 (clear 3)
	 (clear 11)
	 (clear 9))
  (:goal (and
	  (on 1 5)
	  (on 5 10)
	  (on-table 10)
	  (on 8 9)
	  (on 9 4)
	  (on-table 4)
	  (on 2 3)
	  (on 3 11)
	  (on 11 7)
	  (on 7 6)
	  (on-table 6)
	  (clear 1)
	  (clear 8)
	  (clear 2)
	  )))
